منابع مشابه
THE INVARIANT n ° SEPARATION PRINCIPLE
We "invariantize" the classical theory of alternated unions to obtain new separation results in both invariant descriptive set theory and in infinitary logic Application is made to the theory of definitions of countable models. 0. Introduction. In this paper we will be concerned with some results related to the theorem: Disjoint Gs sets in a complete metric space can be separated by an alternat...
متن کاملA separation logic for the π-calculus
Reasoning about concurrent processes requires distinguishing communication from interference, and is especially difficult when the means of interaction change over time. We present a new logic for the π-calculus that combines temporal and separation logic, and treats channels as resources that can be gained and lost by processes. The resource model provides a lightweight way to constrain interf...
متن کاملDirect CP Violation in B → π+π−π Determination of α without discrete ambiguity
Direct CP violation in the hadronic decays B̄0 → π+π−π0 is investigated near the peak of the ρ0 taking into account the effect of ρ−ω mixing. Branching ratios for processes B±,0 → ρ±,0π±,0 and B → ωπ are calculated as well. We find that the CP violating asymmetry is strongly dependent on the CKM matrix elements. For a fixed N eff c , the CP violating asymmetry, aCP , has a maximum of order −40% ...
متن کاملObtaining α from B → ρ ± π ∓∗
We discuss how to extract the weak phase α from present data on B → ρ ± π ∓ decays. Introducing α eff and constraining the difference from α using flavor SU(3), one arrives at α = (95 ± 16) • , if a testable assumption of a small relative strong phase between the two relevant tree amplitudes is employed to distinguish between discrete ambiguities. On the long run we advocate the combined fit to...
متن کاملFirst measurement of the π+π− atom lifetime
The goal of the DIRAC experiment at CERN (PS212) is to measure the π+π− atom lifetime with 10% precision. Such a measurement would yield a precision of 5% on the value of the S-wave ππ scattering lengths combination |a0 − a2|. Based on part of the collected data we present a first result on the lifetime, τ = [2.91+0.49 −0.62] × 10−15 s, and discuss the major systematic errors. This lifetime cor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Chemistry Accounts
سال: 2005
ISSN: 1432-881X,1432-2234
DOI: 10.1007/s00214-005-0067-z